Managing the Haskell Dependency Hell with Nix Peter SimonsIntroduction Purely functional programming languages like Haskell encourage software engineers to write re-usable code. As of today, the Haskell commu

Source URL: www.bioinf.uni-leipzig.de

Advances in Programming Languages APL11: Concurrency David Aspinall (including slides by Ian Stark) School of Informatics

Source URL: www.inf.ed.ac.uk

BU CAS CS 520: Principles of Programming Languages (Syllabus) • Semester Fall 2009 • Instructor: Hongwei Xi • Lecture Times: TR 11:00-12:30PM

Source URL: www.cs.bu.edu

What  is  Programming? Aspects  of  Programming,  Computer   Languages,  Objects  and  Object-­Oriented   Programming Andries van  D am   © 2015  

Source URL: cs.brown.edu

BU CAS CS 320 (Summer I, Concepts of Programming Languages Syllabus • Semester Summer I, 2016 • Lecture Times: MWTR: 3:00-5:00pm

Source URL: www.cs.bu.edu

Advances in Programming Languages APL8: Multiparameter Type Classes, Constructor Classes Ian Stark School of Informatics The University of Edinburgh

Source URL: www.inf.ed.ac.uk

Teachpacks VersionApril 2, 2010 Teaching languages are small subsets of a full programming language. While such restrictions simplify error diagnosis and the construction of tools, they also make it impossible

Source URL: download.plt-scheme.org

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

Source URL: www-verimag.imag.fr

• Hardware description languages
• Synchronous programming languages
• Software engineering
• Formal methods
• Computing
• Electronic engineering
• Esterel
• SIGNAL
• Model checking
• Embedded system
• Real-time computing
• Esterel Technologies

Microsoft PowerPoint - lacsi-sans-1006

Source URL: www.cs.rice.edu

• Software
• Mathematical software
• Application software
• Numerical software
• Numerical linear algebra
• Array programming languages
• Econometrics software
• ScaLAPACK
• PBLAS
• LAPACK
• Basic Linear Algebra Subprograms
• MATLAB

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

Source URL: frenchy64.github.io

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Programming languages
• Procedural programming languages
• Cross-platform software
• Clojure
• Multiple dispatch
• Type system
• Dynamic programming language